Optimal. Leaf size=89 \[ -\frac {1}{3 a^3 x^3}+\frac {3 b}{2 a^4 x^2}-\frac {6 b^2}{a^5 x}-\frac {b^3}{2 a^4 (a+b x)^2}-\frac {4 b^3}{a^5 (a+b x)}-\frac {10 b^3 \log (x)}{a^6}+\frac {10 b^3 \log (a+b x)}{a^6} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 89, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 1, integrand size = 11, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.091, Rules used = {46}
\begin {gather*} -\frac {10 b^3 \log (x)}{a^6}+\frac {10 b^3 \log (a+b x)}{a^6}-\frac {4 b^3}{a^5 (a+b x)}-\frac {6 b^2}{a^5 x}-\frac {b^3}{2 a^4 (a+b x)^2}+\frac {3 b}{2 a^4 x^2}-\frac {1}{3 a^3 x^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 46
Rubi steps
\begin {align*} \int \frac {1}{x^4 (a+b x)^3} \, dx &=\int \left (\frac {1}{a^3 x^4}-\frac {3 b}{a^4 x^3}+\frac {6 b^2}{a^5 x^2}-\frac {10 b^3}{a^6 x}+\frac {b^4}{a^4 (a+b x)^3}+\frac {4 b^4}{a^5 (a+b x)^2}+\frac {10 b^4}{a^6 (a+b x)}\right ) \, dx\\ &=-\frac {1}{3 a^3 x^3}+\frac {3 b}{2 a^4 x^2}-\frac {6 b^2}{a^5 x}-\frac {b^3}{2 a^4 (a+b x)^2}-\frac {4 b^3}{a^5 (a+b x)}-\frac {10 b^3 \log (x)}{a^6}+\frac {10 b^3 \log (a+b x)}{a^6}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.04, size = 79, normalized size = 0.89 \begin {gather*} -\frac {\frac {a \left (2 a^4-5 a^3 b x+20 a^2 b^2 x^2+90 a b^3 x^3+60 b^4 x^4\right )}{x^3 (a+b x)^2}+60 b^3 \log (x)-60 b^3 \log (a+b x)}{6 a^6} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Mathics [A]
time = 2.71, size = 109, normalized size = 1.22 \begin {gather*} \frac {a \left (-2 a^4+5 a^3 b x-20 a^2 b^2 x^2-90 a b^3 x^3-60 b^4 x^4\right )-60 b^3 x^3 \left (a^2+2 a b x+b^2 x^2\right ) \left (\text {Log}\left [x\right ]-\text {Log}\left [\frac {a+b x}{b}\right ]\right )}{6 a^6 x^3 \left (a^2+2 a b x+b^2 x^2\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.09, size = 84, normalized size = 0.94
method | result | size |
norman | \(\frac {\frac {15 b^{5} x^{5}}{a^{6}}-\frac {1}{3 a}+\frac {5 b x}{6 a^{2}}-\frac {10 b^{2} x^{2}}{3 a^{3}}+\frac {20 b^{4} x^{4}}{a^{5}}}{x^{3} \left (b x +a \right )^{2}}-\frac {10 b^{3} \ln \left (x \right )}{a^{6}}+\frac {10 b^{3} \ln \left (b x +a \right )}{a^{6}}\) | \(83\) |
default | \(-\frac {1}{3 a^{3} x^{3}}+\frac {3 b}{2 a^{4} x^{2}}-\frac {6 b^{2}}{a^{5} x}-\frac {b^{3}}{2 a^{4} \left (b x +a \right )^{2}}-\frac {4 b^{3}}{a^{5} \left (b x +a \right )}-\frac {10 b^{3} \ln \left (x \right )}{a^{6}}+\frac {10 b^{3} \ln \left (b x +a \right )}{a^{6}}\) | \(84\) |
risch | \(\frac {-\frac {10 b^{4} x^{4}}{a^{5}}-\frac {15 b^{3} x^{3}}{a^{4}}-\frac {10 b^{2} x^{2}}{3 a^{3}}+\frac {5 b x}{6 a^{2}}-\frac {1}{3 a}}{x^{3} \left (b x +a \right )^{2}}-\frac {10 b^{3} \ln \left (x \right )}{a^{6}}+\frac {10 b^{3} \ln \left (-b x -a \right )}{a^{6}}\) | \(86\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.25, size = 97, normalized size = 1.09 \begin {gather*} -\frac {60 \, b^{4} x^{4} + 90 \, a b^{3} x^{3} + 20 \, a^{2} b^{2} x^{2} - 5 \, a^{3} b x + 2 \, a^{4}}{6 \, {\left (a^{5} b^{2} x^{5} + 2 \, a^{6} b x^{4} + a^{7} x^{3}\right )}} + \frac {10 \, b^{3} \log \left (b x + a\right )}{a^{6}} - \frac {10 \, b^{3} \log \left (x\right )}{a^{6}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.31, size = 141, normalized size = 1.58 \begin {gather*} -\frac {60 \, a b^{4} x^{4} + 90 \, a^{2} b^{3} x^{3} + 20 \, a^{3} b^{2} x^{2} - 5 \, a^{4} b x + 2 \, a^{5} - 60 \, {\left (b^{5} x^{5} + 2 \, a b^{4} x^{4} + a^{2} b^{3} x^{3}\right )} \log \left (b x + a\right ) + 60 \, {\left (b^{5} x^{5} + 2 \, a b^{4} x^{4} + a^{2} b^{3} x^{3}\right )} \log \left (x\right )}{6 \, {\left (a^{6} b^{2} x^{5} + 2 \, a^{7} b x^{4} + a^{8} x^{3}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.22, size = 92, normalized size = 1.03 \begin {gather*} \frac {- 2 a^{4} + 5 a^{3} b x - 20 a^{2} b^{2} x^{2} - 90 a b^{3} x^{3} - 60 b^{4} x^{4}}{6 a^{7} x^{3} + 12 a^{6} b x^{4} + 6 a^{5} b^{2} x^{5}} + \frac {10 b^{3} \left (- \log {\left (x \right )} + \log {\left (\frac {a}{b} + x \right )}\right )}{a^{6}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.00, size = 100, normalized size = 1.12 \begin {gather*} \frac {10 b^{4} \ln \left |x b+a\right |}{b a^{6}}-\frac {10 b^{3} \ln \left |x\right |}{a^{6}}+\frac {\frac {1}{6} \left (-60 b^{4} a x^{4}-90 b^{3} a^{2} x^{3}-20 b^{2} a^{3} x^{2}+5 b a^{4} x-2 a^{5}\right )}{a^{6} x^{3} \left (b x+a\right )^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.13, size = 91, normalized size = 1.02 \begin {gather*} \frac {20\,b^3\,\mathrm {atanh}\left (\frac {2\,b\,x}{a}+1\right )}{a^6}-\frac {\frac {1}{3\,a}+\frac {10\,b^2\,x^2}{3\,a^3}+\frac {15\,b^3\,x^3}{a^4}+\frac {10\,b^4\,x^4}{a^5}-\frac {5\,b\,x}{6\,a^2}}{a^2\,x^3+2\,a\,b\,x^4+b^2\,x^5} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________